Nuprl Definition : es-empty-interface 11,40
Empty(x) == inr   
latex

Definitions, inr x , x.A(x)
FDL editor aliaseses-empty-interface

origin